automatic type promotion